A Methodology for Compilation of High-Integrity Real-Time Programs
نویسندگان
چکیده
A practical methodology for compilation of trustworthy real-time programs is introduced. It combines new program development and timing analysis techniques with traditional compilation and assembly technologies .
منابع مشابه
The Synchronous Approach to Reactive and Real-Time Systems
This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness pr...
متن کاملQualitative Analysis of Elemental Components of Social Education in Elementary Curriculum Emphasizing the High Hand Records
Purpose: This research was conducted with the aim of studying the essential components of curriculum social education in the elementary period. Methodology: The statistical population of the study included upstream documents such as the Transformation Document and the National Curriculum, both fully analyzed and analyzed. The statistical population and the statistical sample are equal in this r...
متن کاملNormalization and Compilation of Deductive and Object-Oriented Databases Programs for Efficient Query Evaluation
A normalization process is proposed to serve not only as a preprocessing stage for compilation and evaluation but also as a tool for classifying recursions. Then the query-independent compilation and chain-based evaluation method can be extended naturally to process a class of DOOD programs and queries. The query-independent compilation captures the bindings that could be diicult to be captured...
متن کاملActivity Documents
The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, computer systems. This survey paper introduces the speciication languages and veriication techniques for four levels of development: Requirements deenition and control design; Transformation to a systems architecture with program designs and their transformation t...
متن کاملPerformance Range Comparison for Restructuring Compilation Xian-he Sun
A major diiculty in restructuring compilation is how to compare parallel performance over a range of system and problem sizes. This study introduces the concept of range comparison for data-parallel programming. Unlike conventional execution time comparison in which performance is compared for a particular system and problem size, range comparison compares the performance of programs over a ran...
متن کامل